1.
Equivalents of the axiom of choice, II Herman Rubin and Jean E. Rubin
by Rubin, Herman | Rubin, Jean E.
Material type: Book; Format:
print
Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: Matheson Library [Call number: 511.322 R896e] (1).
2.
Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 edited by L. Jonathan Cohen ... [et al.]
by International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) | Cohen, L. Jonathan (Laurence Jonathan).
Material type: Book; Format:
print
Publisher: Amsterdam North-Holland Pub. 1982Availability: Items available for loan: Matheson Library [Call number: 511.3 I61L 1979] (1).
3.
Aspects of inductive logic / Jaako Hintikka, Patrick Suppes.
by Hintikka, Jaakko | Suppes, Patrick.
Material type: Book; Format:
print
Publisher: Amsterdam : North Holland Pub., [1967]Availability: Items available for loan: Matheson Library [Call number: 161 A838] (1).
4.
Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 / edited by Ruth Barcan Marcus, Georg J. W. Dorn, Paul Weingartner.
by International Congress of Logic, Methodology, and Philosophy of Science (7th : 1983 : Salzburg, Austria) | Dorn, Georg | Weingartner, Paul | Marcus, Ruth Barcan.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam : North-Holland ;Elsevier Science Pub. Co., 1986Availability: Items available for loan: Matheson Library [Call number: 501 I61] (1).
5.
Intensional mathematics / edited by Stewart Shapiro.
by Shapiro, Stewart, 1951- .
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam : North-Holland ;Elsevier Science Pub. Co., 1985Availability: Items available for loan: Matheson Library [Call number: 511 I61] (1).
6.
The lambda calculus: its syntax and semantics / H.P. Barendregt.
by Barendregt, H. P. (Hendrik Pieter).
Edition: Revised editionMaterial type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam : North-Holland Pub. Co., 1984Availability: Items available for loan: Matheson Library [Call number: 511.3 B248L 1984] (1).
7.
Constructivism in mathematics: an introduction / A.S. Troelstra and D. van Dalen.
by Troelstra, A. S. (Anne Sjerp) | Dalen, D. van (Dirk), 1932- .
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam : North-Holland, 1988Availability: Items available for loan: Matheson Library [Call number: 511.3 T641c] (1).
8.
Constructivism in mathematics : an introduction. Volume I / A.S. Troelstra, D. van Dalen.
by Troelstra, A. S. (Anne Sjerp) | Dalen, D. van (Dirk), 1932- .
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988Availability: Items available for loan: Matheson Library [Call number: 511.3 T843c] (1).
9.
Topoi, the categorial analysis of logic / Robert Goldblatt.
by Goldblatt, Robert.
Publisher: Amsterdam ; New York : New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979Availability: Items available for loan: Matheson Library [Call number: 512.55 G618t] (1).
10.
Dictionary of symbols of mathematical logic / edited by Robert Feys and Frederic B. Fitch.
by Feys, Robert | Fitch, Frederic.
Material type: Book; Format:
print
Publisher: Amsterdam : North-Holland, c1969Availability: Items available for loan: Matheson Library [Call number: 511.3 D554] (1).
11.
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / H. Jerome Keisler.
by Keisler, H. Jerome.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam : North-Holland Pub. Co., 1971Availability: No items available Lost (1).
12.
Set theory : an introduction to large cardinals / Frank R. Drake.
by Drake, Frank R.
Material type: Book; Format:
print
Publisher: Amsterdam : North-Holland, c1974Availability: Items available for loan: Matheson Library [Call number: 511.322 D761] (1).
13.
Set theory / K. Kuratowski and A. Mostowski. Translated from Polish by M. Mrhaczy'nski.
by Kuratowski, Kazimierz | Mostowski, Andrzej.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam : North-Holland, 1967Availability: Items available for loan: Matheson Library [Call number: 512.817 K96] (1).
14.
Equivalents of the axiom of choice / Herman Rubin and Jean E. Rubin.
by Rubin, Herman | Rubin, Jean E.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam : North-Holland, 1963Availability: Items available for loan: Matheson Library [Call number: 511.322 R896] (1).
15.
Handbook of mathematical logic / edited by Jon Barwise.
by Barwise, Jon.
Material type: Book; Format:
print
Publisher: Amsterdam : North-Holland, 1977Availability: Items available for loan: Matheson Library [Call number: 511.3 H236] (1).
16.
Dictionary of symbols of mathematical logic / edited by Robert Feys and Frederic B. Fitch.
by Feys, Robert | Fitch, Frederic.
Material type: Book; Format:
print
Publisher: Amsterdam : North-Holland, c1969Availability: No items available
17.
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / H. Jerome Keisler.
by Keisler, H. Jerome.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam : North-Holland Pub. Co., 1971Availability: No items available
18.
Set theory : an introduction to large cardinals / Frank R. Drake.
by Drake, Frank R.
Material type: Book; Format:
print
Publisher: Amsterdam : North-Holland, c1974Availability: No items available
19.
Set theory / K. Kuratowski and A. Mostowski. Translated from Polish by M. Mrhaczy'nski.
by Kuratowski, Kazimierz | Mostowski, Andrzej.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam : North-Holland, 1967Availability: No items available
20.
Equivalents of the axiom of choice / Herman Rubin and Jean E. Rubin.
by Rubin, Herman | Rubin, Jean E.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam : North-Holland, 1963Availability: No items available